let x = () in ()
